Nuprl Definition : rel_or
11,40
postcript
pdf
(
R1
R2
)(
x
,
y
) == (
x
R1
y
)
(
x
R2
y
)
latex
Definitions
x
.
A
(
x
)
,
P
Q
,
x
f
y
FDL editor aliases
rel_or
origin
R2)(x,y) == (x R1 y) (x R2 y) R2)(x,y) == (x R1 y) (x R2 y) 
x.A(x) Q